منابع مشابه
Towards an Automatic Approach for Restricting UML/OCL Invariability Clauses
The complexity of modern systems (in both, the software and hardware domain) raises the need for abstract descriptions in early stages of the design flow. Such abstract descriptions are provided in modeling languages such as the UML and are often additionally enriched by declarative languages like OCL. This allows for a profound but comprehensive description of the structure and the behavior of...
متن کاملAvoiding OCL specification pitfalls
This paper discusses about teaching software modeling by using OCL specifications, in the context in which the web represents the main source of information. The raise of the interest for models induced a higher need for clear and complete specifications. In case of models specified by means of MOF-based languages, adding OCL constraints proved to be an interesting answer to this need. Several ...
متن کاملExpressing Property Specification Patterns with OCL
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). OCL is primarily used to formulate restrictions over UML models, in particular, invariants and operation preand postconditions in the context of class diagrams. However, OCL is missing means to specify constraints over the dynamic behavior of a UML model. We have therefore developed a tempor...
متن کاملSpecification Of OCL Constraints On ODP Computational Interfaces
Open Distributed Processing systems are constructed in terms of five viewpoints. The computational viewpoint which supports three sorts of interaction models imposes constraints on their corresponding computational interfaces. Computational interfaces are strongly typed so as to sustain meaningful object interaction. We address in this work the need to re-verbalize both interaction signature co...
متن کاملSpecification and Implementation of a Deep OCL Dialect
The deep modeling tool Multi-level Modeling and Ontology Engineering Environment (Melanee) developed by the Software Engineering Group of the University of Mannheim allows clean and strict meta-modeling across multiple classification levels within Eclipse. Modeling with Melanee comprises two dimensions, a linguistic and an ontological dimension. As Melanee is fully embedded in the Eclipse Model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Software & Systems Modeling
سال: 2011
ISSN: 1619-1366,1619-1374
DOI: 10.1007/s10270-011-0215-y